UN LOGICIEL POUR L'INTEGRATION OPTIMALE DES SYSTEMES DIFFERENTIELS = A PROGRAM FOR THE OPTIMAL INTEGRATION OF DIFFERENTIAL SYSTEMSALT RENE.1981; ; FRA; DA. 1981; 178 P.; 21 CM; BIBL. 112 REF.; TH.: SCI. MATH./PARIS 6/1981Thesis

Validation des résultats des logiciels scientifiques: Problème des approximations arithmétiques = Validation of the scientific software results : problems with the arithmetic approximationsVIGNES, Jean; ALT, René.Techniques de l'ingénieur. Sciences fondamentales. 2009, Vol AFM3, Num AF1470, AF1470.1-AF1470.10Article

Etude de la parallélisation de l'algorithme du lancer de rayon en synthèse d'images = Study of the ray tracing parallelization algorithm in image synthesis domainLefer, Wilfrid; Alt, René.1992, 168 p.Thesis

Construction modulaire d'algorithmes répartis tolérants aux pannes = Modular design of fault-tolerant distributed algorithmsSaquet, Jean; Alt, René.1991, 128 p.Thesis

Etude et réalisation d'une machine parallèle à base de transputers pour le calcul d'images de synthèse = Study and realisation of a transputer based parallel system for image synthesisGuernion, Yann; Alt, René.1991, 125 p.Thesis

Stochastic arithmetic: Addition and multiplication by scalarsMARKOV, Svetoslav; ALT, Rene.Applied numerical mathematics. 2004, Vol 50, Num 3-4, pp 475-488, issn 0168-9274, 14 p.Article

Parallélisation en temps et en espace de la résolution d'équations d'évolution, contrôle de la solution = Time and space parallel solution of evolution equations, control of the solutionJézéquel, Fabienne; Alt, René.1996, 3 vol., 147 pThesis

Modélisations par réseaux d'automates cellulaires et simulations parallèles du phénomène de subduction-érosion en tectonique des plaques = Cellular automata models and corresponding parallel simulations of the subduction erosion phenomenon in plate tectonicsLeduc, Thomas; Alt, Rene.1999, 151 p.Thesis

Restauration d'Images par la Méthode du recuit simulé. Implantation sur une machine parallèle à base de transputers = Image restoration by the simulated annealing method. Implementation on a transputer based parallel machinesLamotte, Jean-Luc; Alt, René.1992, 145 p.Thesis

Etude et mise en oeuvre d'une méthode de décomposition additive pour le calcul des valeurs propres d'une matriceBlondel, Jean-Louis; Alt, René.1988, 116 p.Thesis

An application of wavelet theory to early breast cancerOUSSENA, Baya; HENNI, Abderrezak; ALT, René et al.Lecture notes in computer science. 2004, pp 250-258, issn 0302-9743, isbn 3-540-21260-4, 9 p.Conference Paper

Numerical software with result verification (Dagstuhl Castle, 19-24 January 2003, revised papers)Alt, René; Frommer, Andreas; Kearfott, R. Baker et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-21260-4, X, 313 p, isbn 3-540-21260-4Conference Proceedings

OOP and interval arithmetic: Language support and librariesWOLFF VON GUDENBERG, Jürgen.Lecture notes in computer science. 2004, pp 1-14, issn 0302-9743, isbn 3-540-21260-4, 14 p.Conference Paper

Nonlinear parameter and state estimation for cooperative systems in a bounded-error contextKIEFFER, Michel; WALTER, Eric.Lecture notes in computer science. 2004, pp 107-123, issn 0302-9743, isbn 3-540-21260-4, 17 p.Conference Paper

Global optimization in the COCONUT projectSCHICHL, Hermann.Lecture notes in computer science. 2004, pp 243-249, issn 0302-9743, isbn 3-540-21260-4, 7 p.Conference Paper

C-XSC 2.0: A C++ library for extended scientific computingHOFSCHUSTER, Werner; KRÄMER, Walter.Lecture notes in computer science. 2004, pp 15-35, issn 0302-9743, isbn 3-540-21260-4, 21 p.Conference Paper

Using PVS to validate the inverse trigonometric functions of an exact arithmeticLESTER, David.Lecture notes in computer science. 2004, pp 259-273, issn 0302-9743, isbn 3-540-21260-4, 15 p.Conference Paper

Interval testing strategies applied to COSY's interval and Taylor model arithmeticCORLISS, George F; JUN YU.Lecture notes in computer science. 2004, pp 91-106, issn 0302-9743, isbn 3-540-21260-4, 16 p.Conference Paper

Verified numerical analysis of the performance of switching systems in telecommunicationFAUSTEN, Daniela; HASSLINGER, Gerhard.Lecture notes in computer science. 2004, pp 206-225, issn 0302-9743, isbn 3-540-21260-4, 20 p.Conference Paper

Result verification for computational problems in geodesyBOROVAC, Stefan; HEINDL, Gerhard.Lecture notes in computer science. 2004, pp 226-242, issn 0302-9743, isbn 3-540-21260-4, 17 p.Conference Paper

Numerical study of algebraic solutions to linear problems involving stochastic parametersALT, Rene; LAMOTTE, Jean-Luc; MARKOV, Svetoslav et al.Lecture notes in computer science. 2006, pp 273-280, issn 0302-9743, isbn 3-540-31994-8, 1Vol, 8 p.Conference Paper

On singular interval systemsALEFELD, Götz; MAYER, Günter.Lecture notes in computer science. 2004, pp 191-197, issn 0302-9743, isbn 3-540-21260-4, 7 p.Conference Paper

Guaranteed numerical computation as an alternative to computer algebra for testing models for identifiabilityWALTER, Eric; BRAEMS, Isabelle; JAULIN, Luc et al.Lecture notes in computer science. 2004, pp 124-131, issn 0302-9743, isbn 3-540-21260-4, 8 p.Conference Paper

Novel approaches to numerical software with result verificationGRANVILLIERS, Laurent; KREINOVICH, Vladik; MÜLLER, Norbert et al.Lecture notes in computer science. 2004, pp 274-305, issn 0302-9743, isbn 3-540-21260-4, 32 p.Conference Paper

Static analysis-based validation of floating-point computationsPUTOT, Sylvie; GOUBAULT, Eric; MARTEL, Matthieu et al.Lecture notes in computer science. 2004, pp 306-313, issn 0302-9743, isbn 3-540-21260-4, 8 p.Conference Paper